Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
861	Open Issues in MPI Implementation Rajeev Thakur and William Gropp Mathematics and Computer Science Division Argonne National Laboratory Argonne, IL 60439, USA {thakur, gropp}@mcs.anl.gov Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2007-07-26 13:41:18 Computer programming Application programming interfaces Message Passing Interface MPICH Open MPI Computer cluster Thread OpenMP Blue Gene Computing Concurrent computing Parallel computing
862	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
863	Mechanized Verification of Computing Dominators for Formalizing Compilers Jianzhou Zhao and Steve Zdancewic University of Pennsylvania {jianzhou,stevez}@cis.upenn.edu Abstract. One prerequisite to the formal verification Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-10-15 15:20:25 Dominator Graph theory Depth-first search Tree traversal Computing Search algorithms Mathematics Compiler construction
864	Journal of Artificial Intelligence Research257 Submitted 09/07; publishedLoosely Coupled Formulations for Automated Planning: An Integer Programming Perspective Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:20:43 Variables Elementary mathematics Combinatorial optimization Linear programming Automated planning and scheduling Constraint satisfaction Parallel computing Function Mathematics Mathematical optimization Operations research
865	Exploring the synergies between the Object-Oriented paradigm and Mathematics: a Java led approach MARC CONRAD Department of Computing and Information Systems University of Luton Park Square, Luton, LU1 3JU, United Kingdo Add to Reading List Source URL: ring.perisic.com. Language: English - Date: 2003-12-13 23:14:28 Algebraic structures Field theory Mathematical structures Ring theory Polynomial Emmy Noether Ring Field Finite field Abstract algebra Algebra Mathematics
866	Kinecting Sports & Mathematics Statistics using Xbox Kinect Using the XBox Kinect, students will be active participants in the exploration of the concepts of mean, median, mode and Add to Reading List Source URL: www.quantumvictoria.vic.edu.au Language: English - Date: 2014-08-14 01:08:49 User interfaces Computing Artificial intelligence Kinect Speech recognition Webcams Natural user interface Xbox 360 Humanâ€“computer interaction Computer hardware
867	Implementing Byte-Range Locks Using MPI One-Sided Communication Rajeev Thakur, Robert Ross, and Robert Latham Mathematics and Computer Science Division Argonne National Laboratory Argonne, IL 60439, USA Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2005-07-08 14:20:31 Computer programming Parallel computing Application programming interfaces Message Passing Interface File locking MPICH Lock Linearizability Global File System Computing Concurrency control Concurrent computing
868	Proposal for a post-doctoral position Inria / Maison de la Simulation Title: High performance computing tools for tokamak simulations. Supervisors : Hervé GUILLARD Inria Sophia-Antipolis, France, Tel : + Add to Reading List Source URL: www.maisondelasimulation.fr Language: English - Date: 2013-05-03 05:18:44 Tokamak Simulation Computational science High-performance computing Mathematics Computing Science Fusion reactors National Institute for Research in Computer Science and Control Theoretical computer science
869	VICTORIA UNIVERSITY FACULTY OF HEALTH, ENGINEERING AND SCIENCE SCHOOL OF COMPUTER SCIENCE AND MATHEMATICS Research Project Description (Plain Language Statement) Add to Reading List Source URL: www.wcmics.org Language: English - Date: 2013-02-01 00:04:17 Multimodal interaction Collaboration Groupware Microblogging Computer-mediated communication Collaborative software Twitter Wiki software Humanâ€“computer interaction World Wide Web Computing
870	Department of Mathematics and Statistics Welcome to the Department of Mathematics and Statistics Computing Lab. This booklet is designed to guide you through the maze enabling you to Add to Reading List Source URL: maths.curtin.edu.au Language: English - Date: 2014-11-11 05:38:06 Password Login Computing

UPDATE